body {
	color: #000000;
	background: #FFFFFF;	
	font-family: Arial, Helvetica, sans-serif;
}

h1 {
	
}


h2 {
	margin-top: 80px;
	border-top-width: 1px;
	border-top-style: solid;
	padding-top: 7px;
	padding-left: 7px;
	padding-bottom: 7px;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	margin-bottom: 30px;
}

h3 {
	margin-top: 40px;
	padding-top: 7px;
	padding-left: 7px;
	padding-bottom: 7px;
	margin-bottom: 15px;
}

h4 {
	padding-left: 7px;
	margin-top: 23px;
}


table {
	border-collapse: collapse;
}

th, td {
	border-width: 1px;
	border-style: solid;
	border-color: #bbbbbb;
	padding-left: 5px;
	padding-right: 5px;
	padding-top: 3px;
	padding-bottom: 3px;
}

th {
	font-weight: bold;
	text-align: left;
	vertical-align: top;
	background: #f3f3f3;
}

td {
	vertical-align: top;
	
}

th p, td p {
	margin-top: 1px;
	padding-top: 1px;
}

a:link {
	color: #3366aa;
}

a:visited {
	color: #003366;
}

dfn.premier {
	font-weight: bold;
}

code.premier {
	font-weight: bold;
}


img {
	padding: 10px;
}


div.toc_h2 {
	margin: 10px;
}
a.toc_h2 {
	font-weight: bold;
}


div.toc_h3 {
	font-style: italic;
	margin-left: 20px;
}


div.toc_h4 {
	font-style: italic;
	margin-left: 30px;
}


.footer {
	margin-top: 20px;
	border-style: solid;
	border-top-width: 1px;
	border-bottom-width: 0px;
	border-left-width: 0px;
	border-right-width: 0px;
}

div.example {
	margin-top: 25px;
	margin-bottom: 25px;
}

div.exampleTitle {
	font-style: italic;
	font-weight: bold;
	padding: 2px;
	margin-left: 5px;
}

div.exampleContent {
	background: #f3f3f3;
	padding: 2px;
	padding-left: 3px;	
	padding-right: 3px;	
    border-width: 1px;
	border-color: #bbbbbb;

    border-style: solid;
}


div.example p {
	padding-top: 0px;
	margin-top: 8px;
	padding-left: 4px;
}

pre.java {
	border-style: solid;
	border-color: #bbbbbb;
	border-width: 1px;
	background: #e6e6e6;
	padding: 5px;
	margin: 5px;
	margin-top: 20px;
	margin-bottom: 20px;
}
